退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有体系结构意识的部分订单缩减,可加快网络程序的模型检查
Artho, Cyrille; Leungwattanakit, Watcharin; Hagiya, Masami; Tanabe, Yoshinori; Shibayama, Etsuya;
机译:用于模型检查软件的动态偏序约简
机译:定向模型检查中的偏序减少和跟踪改进
机译:最大因果减少的无状态模型检查并发程序
机译:体系结构感知部分顺序减少,以加速网络化程序的模型检查
机译:用于最小承诺部分订单计划的混合整数线性规划模型。
机译:将模型与测得的死亡率降低进行比较:将挽救生命工具应用于西非加速儿童生存计划的评估数据
机译:具有体系结构意识的部分订单减少,可加快网络程序的模型检查
机译:具有部分顺序状态空间缩减功能的即时模型检查
机译:具有部分阶状态空间缩减的实时模型检查
机译:模型检查程序,模型检查方法,模型检查设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。